COMMENT ā VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 C00003 ENDMK Cā; (DEFPROP SIZE (LAMBDA (X) (COND ((ATOM X) 1) (T (PLUS (SIZE (CAR X)) (SIZE (CDR X)))))) EXPR) (DE FOO (X) (COND ((ATOM X) (SETQ S (PLUS S (SIZE (CDR X))))) (T (FOO (CAR X))(FOO(CDR X)) ) ) ) NIL